/*
 * Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 * for details. All rights reserved. Use of this source code is governed by a
 * BSD-style license that can be found in the LICENSE file.
 */
/**
 * @assertion Let C be the class in which the superinitializer super() (respectively, super.id())
 * appears and let S be the superclass of C. It is a compile-time error if class S does not 
 * declare a generative constructor named S (respectively S.id)
 * @description Checks that it is a compile-time error when the superclass S does not declare 
 * any constructors named S and its subclass's constructor contains an implicit super() 
 * superinitializer.
 * @compile-error
 * @author iefremov
 * @reviewer rodionov
 */

class S {
  S.smth(){}
}

class C extends S {
}

main() {
  try {
    new C();
  } catch (v) {}
}
